Non-existence of higher order non-singular holomorphic immersions
نویسندگان
چکیده
منابع مشابه
Higher-Order (Non-)Modularity
We show that, contrary to the situation in first-order term rewriting, almostnone of the usual properties of rewriting are modular for higher-order rewriting, irre-spective of the higher-order rewriting format. For the particular format of simply typedapplicative term rewriting systems we prove that modularity of confluence, normalization,and termination can be recovered by impo...
متن کاملExistence and Non Existence of Solitons for a 1d Benney-luke Model of Higher Order
We shall establish the existence and non existence of solitons (travelling waves of finite energy) for a Benney-Luke equation of higher order, which includes models for long water waves with small amplitude. Following a variational approach, solitons are characterized as critical points of the action functional. Existence of solitons follows by the ConcentrationCompactness principle by P.-L. Li...
متن کاملHigher-Order Abstract Non-interference
This work proposes a type system for checking Abstract Non-Interference in the setting of simply-typed lambda calculus with basic types and recursion. A lambda-expression satisfies Abstract NonInterference relatively to a given semantic property if an attacker which can only see program data up to that property cannot infer, by observing a computation, private data from public ones. Attackers a...
متن کاملHigher - Order ( Non - ) Modularity Claus
We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the higher-order rewriting format. We show that for the particular format of simply typed applicative term rewriting systems modularity of confluence, normalization, and termination can be recovered by imposing suitable l...
متن کاملImmersions of Non-orientable Surfaces
Let F be a closed non-orientable surface. We classify all finite order invariants of immersions of F into R, with values in any Abelian group. We show they are all functions of the universal order 1 invariant that we construct as T ⊕ P ⊕Q where T is a Z valued invariant reflecting the number of triple points of the immersion, and P,Q are Z/2 valued invariants characterized by the property that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hokkaido Mathematical Journal
سال: 1984
ISSN: 0385-4035
DOI: 10.14492/hokmj/1381757699